Remove comments about long-form of @node commands
authorGlenn Morris <rgm@gnu.org>
Sat, 22 Dec 2012 19:42:36 +0000 (11:42 -0800)
committerGlenn Morris <rgm@gnu.org>
Sat, 22 Dec 2012 19:42:36 +0000 (11:42 -0800)
commit0a5601837f1e3f2401164e4d4950b740f7938e8a
tree9d1e33c6a09e23163ae54a4a46eaaa19e2f9a30b
parent122622add9e5f0ee8dd3af280eba3f7773daa176
Remove comments about long-form of @node commands
doc/misc/woman.texi